1. Formal verification :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Electronic circuits-- Testing,Integrated circuits-- Very large scale integration-- Design and construction,Verilog (Computer hardware description language)

رده :
TK7867

2. Formal verification : an essential toolkit for modern VLSI design

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Testing ، Electronic circuits,Design and construction ، Integrated circuits -- Very large scale integration,، Verilog )Computer hardware description language(

رده :
TK
7867
.
S46F6

3. Math Mutation Classics

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Mathematics -- Popular works,Mathematics -- Problems, exercises, etc,Mathematics ,ریاضیات -- به زبان ساده,ریاضیات -- مسایل، تمرین‌ها و غیره,ریاضیات

رده :
E-Book
,

4. Math mutation classics :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Mathematics, Popular works,Mathematics, Problems, exercises, etc

رده :
QA93